A Theory of Higher Order Communicating Systems
نویسندگان
چکیده
منابع مشابه
A First-Order Theory of Communicating First-Order Formulas
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of events, including other communicative acts; and the knowledge states of any agent — speaker, hearer, or third parties — any of these in the past, present, or future — and any logical combination of these, including formul...
متن کاملOn the Buckling the Behavior of a Multiphase Smart Plate based on a Higher-order Theory
Magneto-electro-elastic materials are multiphase smart materials that exhibit coupling among electrical, magnetic and mechanical energy fields. Due to this ability, they have been the topic of numerous research in the past decade. In this paper, buckling behavior of a multiphase magneto-electro-elastic rectangular plate with simply supported boundary conditions is investigated, based on Reddy’s...
متن کاملA fully abstract denotational semantics for the calculus of higher-order communicating systems
In this paper we study the Calculus of Higher Order Communicating Systems (CHOCS) (Thomsen, Proc. of POPL’89, ACM, 1989, pp. 143–154; Inform. Comput. 116(1) (1995) 38–57) in a denotational setting. We present a construction of a denotational semantics for CHOCS which resides in a domain constructed using the standard constructions of separated sum, Cartesian product, the Plotkin power domain co...
متن کاملFlexural behavior of porous functionally graded plates using a novel higher order theory
In this paper, the flexural response of functionally graded plates with porosities is investigated using a novel higher order shear deformation theory, which considers the influence of thickness stretching. This theory fulfills the nullity conditions at the top and bottom of the plate for the transverse shear stresses, thus avoids the need of a shear correction factor. The effective material pr...
متن کاملHigher-Order Game Theory
In applied game theory the motivation of players is a key element. It is encoded in the payoffs of the game form and often based on utility functions. But there are cases were formal descriptions in the form of a utility function do not exist. In this paper we introduce a representation of games where players’ goals are modeled based on so-called higher-order functions. Our representation provi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1995
ISSN: 0890-5401
DOI: 10.1006/inco.1995.1004